Kontinen, Juha; Mahmood, Yasir; Meier, Arne; Vollmer, Heribert
(Cambridge : Cambridge Univ. Press, 2024)
In this article, we study the complexity of weighted team definability for logics with team semantics. This problem is a natural analog of one of the most studied problems in parameterized complexity, the notion of weighted ...